Semantics and proof-theory of depth bounded Boolean logics
نویسندگان
چکیده
منابع مشابه
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics
be eeectively related. This is one of the primary requirements for meta-reasoning to be usable in automated deduction systems. We have rst highlighted the properties that a pair meta-theory/ object theory should have, given the restriction that the meta-theory must be mechanizable on a machine (leading us to a relationship rejecting property (2)). We have then concentrated on how to give a proo...
متن کاملProof Theory and Algebra in Substructural Logics
It is quite well understood that propositional logics are tightly connected to ordered algebras via algebraic completeness, and because of this connection proof theory is often useful in the algebraic context too. A prominent example is that one deductively proves the interpolation theorem for a given logic in order to derive the algebraic amalgamation property for the corresponding variety as ...
متن کاملProof Theory of Finite-valued Logics
Preface Many-valued logic is not much younger than the whole field of symbolic logic. It was introduced in the early twenties of this century by Lukasiewicz [1920] and Post [1921] and has since developed into a very large area of research. Most of the early work done has concentrated on problems of axiomatizability on the one hand, and algebraical/model theoretic investigations on the other. Th...
متن کاملClassical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O’Hearn and Pym’s logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have th...
متن کاملAbstract Normative Systems: Semantics and Proof Theory
Normative Systems: Semantics and Proof Theory Silvano Colombo Tosatto SnT, University of Luxembourg Luxembourg Guido Boella University of Turin Italy Leendert van der Torre University of Luxembourg Luxembourg Serena Villata INRIA France
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2013
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2013.02.014